Feeds to Scour
SubscribedAll
Scoured 120767 posts in 38.5 ms
Network Protocols: A Senior Engineer's Guide  🌐Network Protocols
dev.to·2d·DEV·
Needed Guidance with Project Decision  📡TCP/IP Stack
github.com·5d·r/embedded·
VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications  🎭Program Synthesis
arxiv.org·13h·
Distributed Systems Simulator - Part 2: Built-in Protocols  🕐Vector Clocks
foo.zone·2d·
IronFleet: proving practical distributed systems correct  🦀Rust
youtube.com·5d·Lobsters·
RFC Esolang – RFCs as executable programs  📦Protocol Buffers
esolangs.org·1d·Hacker News·
Show HN: RFC Esolang – RFCs as executable programs  🌐Iroh
seriot.ch·1d·Hacker News·
How Boost.Asio and Boost.Serialization powered a reinforcement learning cognitive radio on the ISS  🌊Seastar Framework
boost.org·6d·r/cpp·
Gemini Links 31/03/2026: American Spring, Distributed Systems Simulator, and Calculus for Electronics  🕐Vector Clocks
techrights.org·2d·
Spec Driven Development With LLMs  🔬Static Analysis
dev.to·7h·DEV·
Distributed Systems Simulator - Part 3: Advanced Examples and Protocol API  🕐Vector Clocks
foo.zone·2d·
Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach  🔄Concurrency Models
arxiv.org·6d·
dropbox/dMATH: Formal verification and theorem proving tools  ✓Formal Verification
github.com·3d·Hacker News·
A Lightweight Hybrid Publish/Subscribe Event Fabric for IPC and Modular Distributed Systems  📡Event-Driven Architecture
arxiv.org·1d·
Distributed Systems Simulator - Part 1: Introduction and GUI  🎲Deterministic Simulation
foo.zone·2d·
Learning Elixir: Error Handling Basics  🛡️Error Handling
dev.to·1d·DEV·
Designing FSMs Specifications from Requirements with GPT 4.0  🧪Jepsen Testing
arxiv.org·1d·
A Density-Delay Law for Stable Event-Driven State Progression in Open Distributed Systems  🕐Vector Clocks
arxiv.org·2d·
Structured Intent as a Protocol-Like Communication Layer: Cross-Model Robustness, Framework Comparison, and the Weak-Model Compensation Effect  🌳Tree-sitter
arxiv.org·1d·
The Computer System Trail  🔐Capability Systems
arxiv.org·1d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help